function of positive type

正型函数